#pragma once

// no memory mapped at 0...FIASCO_MP_TRAMP_PAGE
#define FIASCO_MP_TRAMP_PAGE     0x8000  // must be below 1MB
#define FIASCO_BDA_PAGE          (FIASCO_MP_TRAMP_PAGE + 0x1000)
#define FIASCO_IMAGE_PHYS_START  0x400000
#define FIASCO_IMAGE_VIRT_START  0xf0000000
#define FIASCO_IMAGE_VIRT_SIZE   0x400000 // must be superpage-aligned

#define FIASCO_IMAGE_PHYS_OFFSET (FIASCO_IMAGE_VIRT_START - (FIASCO_IMAGE_PHYS_START & 0xffc00000))
